Proof checker